|
The Test Template Framework (TTF) is a model-based testing (MBT) framework proposed by Phil Stocks and David Carrington in for the purpose of software testing. Although the TTF was meant to be notation-independent, the original presentation was made using the Z formal notation. It is one of the few MBT frameworks approaching unit testing. ==Introduction== The TTF is a specific proposal of model-based testing (MBT). It considers models to be Z specifications. Each operation within the specification is analyzed to derive or generate ''abstract test cases''. This analysis consists of the following steps: # Define the ''input space'' (IS) of each operation. # Derive the ''valid input space'' (VIS) from the IS of each operation. # Apply one or more ''testing tactics'',〔Stocks and Carrington use the term ''testing strategies'' in .〕 starting from each VIS, to build a ''testing tree'' for each operation. Testing trees are populated with nodes called ''test classes''. # ''Prune'' each of the resulting testing trees. # Find one or more ''abstract test cases'' from each leaf in each testing tree. One of the main advantages of the TTF is that all of these concepts are expressed in the same notation of the specification, i.e. the Z notation. Hence, the engineer has to know only one notation to perform the analysis down to the generation of abstract test cases. 抄文引用元・出典: フリー百科事典『 ウィキペディア(Wikipedia)』 ■ウィキペディアで「Test Template Framework」の詳細全文を読む スポンサード リンク
|